These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
اقرأ المزيد